First-order complete and computationally complete query languages for spatio-temporal databases