On the energy efficiency of quick DC vehicle battery charging