Boundary value problems for the stationary axisymmetric Einstein equations: a rotating disk