deadmau5 is a big part of minecraft’s development