The High Line: Local tips to make the most of NYC's elevated park