GNSS positioning using mobile devices with the android operating system