MySQL shard id generator udf