Modeling supercooling and ice formation in a turbulent Ekman layer