Twelve FCM F1's were ordered in 1940 to replace a tank that was, in physical dimensions the largest what?