Write HTML5 code to embed a video in a web page.
<!DOCTYPEhtml>
<html>
<body>
<title> Video Embedding Example </title>
<video width = "640" height = "360" controls>
<source src = "videofile.mp4" type = "video/mp4>
</video>
</body>
</html>
