7
The details can be found in
[
56
]
.