what is the elevation in park city utah