Man swims 3 miles to shore in gulf boat mishap