Micheal Bloomberg formally enters US presidential race