A finiteness property of graded sequences of ideals