Communitydetectionusingfastlow-cardinality semidefiniteprogramming