Snellius–Pothenot problem