On the hyperbolic positioning of GSM mobile stations