An orienteering event-timing application that uses NFC and GPS