Community detection and its mathematics