Deep to shallow-marine sedimentology and impact of volcanism within the Middle Triassic Palaeo-Tethyan Semantan Basin, Singapore