A semantic version data type for PostgreSQL