After losing Florida, Marco Rubio’s presidential run is officially over