Gravar-mail: Determining Protein Structures from NOESY Distance Constraints by Semidefinite Programming