Analisis pengaruh implementasi ISO 9001: 2008 terhadap kinerja operasional penambangan batubara pada kontraktor tambang batubara studi kasus: PT Saptaindra Sejati = Analysis of the effect of ISO 9001: 2008 implementation to coal mining operational performance in the coal mining contractor case study: PT Saptaindra Sejati