“Hot-spotting” to improve vaccine allocation by harnessing digital contact tracing technology: An application of percolation theory