How automation can transform mining