Which programming language is used by Keil integrated development environment in the examples?