Tribochemistry of phosphorus additives: Experiments and first-principles calculations