Who is older  Trevor Horn or Doug Pinnick ?