Coordination of Heavy-Duty Vehicle Platooning