What Is Hard House? The Sound, History and How to Mix It