Cleaning very dirty natural stone floor tiles with the right cleaning agent