Text this: Mathematical models for positioning by satellite/