Explicit examples of varieties having ample cotangent bundles