Energy-efficient velocity trajectory optimization using dynamic programming for electric vehicles