Analysis of interactions between 1-butyl-3-methylimidazolium cation and halide anions (Cl-, Br- and I-) by ab initio calculations: anion size effects on preferential locations of anions