Nguyen Phu Trong: Mourners gather in Vietnam for leader's funeral