A model for phosphorus segregation at the silicon-silicon dioxide interface