performance modeling and design of computer systems solution manual