Національна Гірнича Академія України, сьогодні Політехніка