Design and verification of the European ExoMars EDL demonstrator