From the S-matrix to the lattice: bootstrapping QFTs