’Super Mario’ celebrates 30th anniversary