K+S: Digitizing Mining Maintenance with user research