Variable Virtual Impedance-based Overcurrent Protection For Grid-forming Inverters: Small-Signal, Large-Signal Analysis and Improvement