Cooperative human–robot polishing for the task of patina growing on high-quality leather shoes