Systolically extremal nonpositively curved surfaces are flat with finitely many singularities