Arens regularity of module actions