Origin of the Bermuda volcanoes and the Bermuda Rise: History, observations, models, and puzzles