Standard Model analysis of the unitarity triangle