NBC: Hong Kong democracy activist Edward Leung is released from prison