Hartvigsen Svenningsen