Mourners gather in Oslo for funeral of Norway's King Harald