Representer Theorem for Learning Koopman Operators