Kráterové jezero (typ jezera)