40th Ariane 5 rocket launches ProtoStar-1 and Badr-6 satellites