High-dimensional empirical likelihood inference. (22nd October 2020)