1 Florida Lotto player wins $4 million