Population genetic patterns of a mangrove-associated frog reveal its colonization history and habitat connectivity