Benchmarking bidirectional transformations: theory, implementation, application, and assessment