4 Florida Lotto players share $17 million jackpot