How do you simplify (4-sqrt 3)(12+5 sqrt 3)?