Florida Lotto jackpot rises to $4 million