Which of the following is a programming language used for web development?