Mopping vs wet and dry vacuum — which is better for your floors?