Wat houdt artikel 42.7 – dat moet voorzien in militaire bijstand van EU-landen onderling – precies in?