Mangrovibacterium diazotrophicum gen. nov., sp. nov., a nitrogen-fixing bacterium isolated from a mangrove sediment, and proposal of Prolixibacteraceae fam. nov.