Miami Mayor wants Hyperloop in city