Rank-finiteness for modular categories