History of the English penny