Combining Differential Privacy and PIR for Efficient Strong Location Privacy