Provably Correct Reactive Control from Natural Language