A Convergence Proof for the Softassign Quadratic Assignment Algorithm