Extremal length functions are log-plurisubharmonic