As the new £1 coin rolls out, BBC Rewind takes a look back at the history of decimal coins in the UK.