Removing oil stains from porous stone surfaces