建筑用的石子是什么岩石