Production schedule optimisation in underground hard rock mining using mixed integer programming