I'm pretty sure the extra time is calculated based on the amount of 'dead' time during the match, like when a referee hands out cards or somebody is injured.
Though don't quote me on that, I'm not that big a football fan. But with it being so popular here, it's pretty hard not to pick some stuff up.