A genome-scale metabolic model for Methylococcus capsulatus predicts reduced efficiency uphill electron transfer to pMMO