Carpooling and car-sharing services reduce individual vehicle use