The use of roof bolting technology for design and future operations of Jan Karski Mine, the new mine in the Lublin Coal Basin