Incorporating uncertainty into bidirectional model transformations and their delta-lens formalization