Title: The design of colliery information and control systems