Please refer to the text for details.