List of mayors of Tyler, Texas