Does it make sense to try to use AWS Service Catalog if pulumi is the primary means of infrastructure automation?