New semi-empirical formulas for calculation of K-shell ionization cross sections of elements from beryllium to uranium by proton impact