[Feature Request] Automatically generate partition filters for generated columns using the floor function

See #1442

We can automatically generated partition filters when a partition column is generated by the floor function.

i.e. if x < y then floor(x) <= floor(y)