Decidable theories of omega-layered metric temporal structures