A physical-statistical channel modeling for mobile satellite communications with diversity