What are batch commands?