Former Duke basketball player Phil Henderson dies