What is <!DOCTYPE>? Why is it necessary to use in HTML5?