Marine phosphate level during the Archean constrained by the global redox budget