Why porcelain floors in Miami look dirty an hour after mopping, and what a ceramic coating actually does