Individually fair optimal decision trees