Proper colorings from positive semidefinite zero forcing sets. (3rd March 2016)