MDA-Based Framework for Automatic Generation of Consistent Firewall ACLs with NAT