Automatic Generation of Goal Models from Regulations