Use of Transposon Promoter-Probe Vectors in the Metabolic Engineering of the Obligate Methanotroph Methylomonas sp. Strain 16a for Enhanced C40 Carotenoid Synthesis