The Death of Macromedia Flash and the Adoption of HTML5 for Casino Software Developers