Here’s how Michael Bloomberg becomes president