Compact 8-manifolds with holonomySpin(7)