what is phosphorus used for