Theoretical Analysis of Auto Rate-Tuning by Batch Normalization