Aerobic proteobacterial methylotrophs in Movile Cave: genomic and metagenomic analyses