Kentucky bankruptcy court holds that coal mining lease is not an executory contract or unexpired lease and is transferable pursuant to section 363 despite an anti-assignment provision