How much does an F1 car cost?