A short history of punk