Cain Velásquez sale de prisión