Monitoring of Roof Bolting as an Element of the Project of the Introduction of Roof Bolting in Polish Coal Mines—Case Study