postgresql array cardinality