Waveform Design for Dual-function MIMO Radar-communication Systems