Export of PostgreSQL performance metrics via SNMP