How many male workers were present in Plymouth Dock circa 1712