A Dirichlet problem for polyharmonic functions