How much does an F1 car actually cost?