“OK, Boomer” makes its US Supreme Court debut in an age discrimination case