A parameterized constructor