Fast and scalable retrosynthetic planning with a transformer neural network and speculative beam search