Post-Newtonian Methods: Analytic Results on the Binary Problem