Heterogeneous multi-channel neighbor discovery formobile sensing applications: theoretical foundationand protocol design.