Height information aided 3D real‐time large‐scale underground user positioning. Issue 1 (9th September 2022)