Competition and innovation