HERA-B: An experiment to study CP violation in the B system using an internal target at the HERA proton ring. Design report