Analysis of porcine body size variation using re-sequencing data of miniature and large pigs