Postgres Create Sequence Formula