what ski area has 2870.0 as its top elevation?
(AND skiing.ski_area (JOIN skiing.ski_area.top_elevation 2870.0^^http://www.w3.org/2001/XMLSchema#float))