The use of compressed air in small mines