Compact 8-manifolds with holonomy Spin(7)