Deep bedrock detection based on ambient noise recorded by a short geophone array: A Singapore case study