The Euler characteristic of a category