A guide to soft washing natural and human-made stone