姜维本是曹魏的将领，为何投奔蜀汉，还对曹魏发动连绵不断的战争