Facilitating Cooperative Truck Platooning for Energy Savings: Path Planning, Platoon Formation and Benefit Redistribution