Kontsevich's conjecture on an algebraic formula for vanishing cycles of local systems