Use of mobile phone data in HIV epidemic control.