Quantitative model of reactive metal-semiconductor interface growth using high-resolution photoemission results.