The K-theory of exact categories