竹中工務店、AWSを活用して建設業界のデジタル化を推進