Mars Express: From the Launch Pad to a 20-Year Success Record at Mars