Plans for the first deep coal mine in the UK in more than 30 years are officially abandoned.