Characterization of two halophilic adenylate cyclases from Thermobifida halotolerans and Haloactinopolyspora alba