API: US petroleum demand highest for July since 2007