How was phosphorus first discovered?