Ямы для гашения извести: виды и использование