Mining development