what ski area's base elevation is known for being 823.0?
(AND skiing.ski_area (JOIN skiing.ski_area.base_elevation 823.0^^http://www.w3.org/2001/XMLSchema#float))