Banícky terminologický slovník (1955)