Relax, no need to round: integrality of clustering formulations