4 of 17 miners stuck in NY salt mine hoisted to surface