Auto-batching Techniques for Dynamic Deep Learning Computation