Which programming language is mainly used for web development?