Tinder's Height Filter: A Fair Feature or a Form of Discrimination?