Community detection using fast low-cardinality semidefinite programming