Ramaswamy officially launches bid for Ohio governor