Quadrilaterals and Bretschneider’s Formula