The terms of the third Brexit extension explained